This file is used as a flag for the MakeDemo batch file.